#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

typedef int pid_t;

void syscall_init (void);

void sys_halt(void);
void sys_exit(int);
pid_t sys_exec(const char *);

#endif /**< userprog/syscall.h */
